\begin{tabbing}
$\forall$\=${\it ds}$:fpf(Id; $x$.Type), ${\it da}$:fpf(Knd; $k$.Type), $k$:Knd,\+
\\[0ex]${\it test}$:(decl{-}state(${\it ds}$)$\rightarrow$ma{-}valtype(${\it da}$; $k$)$\rightarrow\mathbb{B}$).
\-\\[0ex]ecl{-}base{-}tuple($k$; ${\it test}$) $\in$ ecl{-}trans{-}tuple\{i:l\}(${\it ds}$; ${\it da}$)
\end{tabbing}